well-founded - définition. Qu'est-ce que well-founded
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est well-founded - définition

TYPE OF BINARY RELATION
Well-founded set; Well-founded; Wellfounded; Well-foundedness; Well-founded order; Well-founded induction; Well-founded relations; Wellfounded relation; Noetherian induction; Hereditarily well-founded set; Well-founded recursion; Wellfounded recursion; Noetherian recursion; Wellfounded induction; Wellfoundedness; Noetherian relation; Well founded; Foundational relation

well-founded         
a.
1.
Authentic.
2.
Well-grounded.
well-founded         
also well founded
If you say that a report, opinion, or feeling is well-founded, you mean that it is based on facts and can therefore be justified.
If the reports are well founded, the incident could seriously aggravate relations between the two nations...
ADJ
well founded         
¦ adjective based on good evidence or reasons.

Wikipédia

Well-founded relation

In mathematics, a binary relation R is called well-founded (or wellfounded or foundational) on a class X if every non-empty subset SX has a minimal element with respect to R, that is, an element mS not related by s R m (for instance, "s is not smaller than m") for any sS. In other words, a relation is well founded if

Some authors include an extra condition that R is set-like, i.e., that the elements less than any given element form a set.

Equivalently, assuming the axiom of dependent choice, a relation is well-founded when it contains no infinite descending chains, which can be proved when there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.

In order theory, a partial order is called well-founded if the corresponding strict order is a well-founded relation. If the order is a total order then it is called a well-order.

In set theory, a set x is called a well-founded set if the set membership relation is well-founded on the transitive closure of x. The axiom of regularity, which is one of the axioms of Zermelo–Fraenkel set theory, asserts that all sets are well-founded.

A relation R is converse well-founded, upwards well-founded or Noetherian on X, if the converse relation R−1 is well-founded on X. In this case R is also said to satisfy the ascending chain condition. In the context of rewriting systems, a Noetherian relation is also called terminating.

Exemples du corpus de texte pour well-founded
1. But according to Peter McKay, my fears were well founded.
2. But, in fact, this complaint may not be well founded.
3. Russia‘s stance suggests such concerns are well–founded.
4. Ms Hautala‘s worries were well founded, he added.
5. The allegations against Baker, if well founded, could assist us.